Synonym of fungus (basionym)